Optimal. Leaf size=63 \[ -\frac {2}{3} \sqrt {1-x^2} x^2-\frac {1}{24} (21 x+32) \sqrt {1-x^2}-\frac {1}{4} \sqrt {1-x^2} x^3+\frac {7}{8} \sin ^{-1}(x) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.08, antiderivative size = 63, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 4, integrand size = 20, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.200, Rules used = {1809, 833, 780, 216} \[ -\frac {1}{4} \sqrt {1-x^2} x^3-\frac {2}{3} \sqrt {1-x^2} x^2-\frac {1}{24} (21 x+32) \sqrt {1-x^2}+\frac {7}{8} \sin ^{-1}(x) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 216
Rule 780
Rule 833
Rule 1809
Rubi steps
\begin {align*} \int \frac {x^2 (1+x)^2}{\sqrt {1-x^2}} \, dx &=-\frac {1}{4} x^3 \sqrt {1-x^2}-\frac {1}{4} \int \frac {(-7-8 x) x^2}{\sqrt {1-x^2}} \, dx\\ &=-\frac {2}{3} x^2 \sqrt {1-x^2}-\frac {1}{4} x^3 \sqrt {1-x^2}+\frac {1}{12} \int \frac {x (16+21 x)}{\sqrt {1-x^2}} \, dx\\ &=-\frac {2}{3} x^2 \sqrt {1-x^2}-\frac {1}{4} x^3 \sqrt {1-x^2}-\frac {1}{24} (32+21 x) \sqrt {1-x^2}+\frac {7}{8} \int \frac {1}{\sqrt {1-x^2}} \, dx\\ &=-\frac {2}{3} x^2 \sqrt {1-x^2}-\frac {1}{4} x^3 \sqrt {1-x^2}-\frac {1}{24} (32+21 x) \sqrt {1-x^2}+\frac {7}{8} \sin ^{-1}(x)\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.03, size = 37, normalized size = 0.59 \[ \frac {7}{8} \sin ^{-1}(x)-\frac {1}{24} \sqrt {1-x^2} \left (6 x^3+16 x^2+21 x+32\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.84, size = 45, normalized size = 0.71 \[ -\frac {1}{24} \, {\left (6 \, x^{3} + 16 \, x^{2} + 21 \, x + 32\right )} \sqrt {-x^{2} + 1} - \frac {7}{4} \, \arctan \left (\frac {\sqrt {-x^{2} + 1} - 1}{x}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.19, size = 30, normalized size = 0.48 \[ -\frac {1}{24} \, {\left ({\left (2 \, {\left (3 \, x + 8\right )} x + 21\right )} x + 32\right )} \sqrt {-x^{2} + 1} + \frac {7}{8} \, \arcsin \relax (x) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.01, size = 57, normalized size = 0.90 \[ -\frac {\sqrt {-x^{2}+1}\, x^{3}}{4}-\frac {2 \sqrt {-x^{2}+1}\, x^{2}}{3}-\frac {7 \sqrt {-x^{2}+1}\, x}{8}+\frac {7 \arcsin \relax (x )}{8}-\frac {4 \sqrt {-x^{2}+1}}{3} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.97, size = 56, normalized size = 0.89 \[ -\frac {1}{4} \, \sqrt {-x^{2} + 1} x^{3} - \frac {2}{3} \, \sqrt {-x^{2} + 1} x^{2} - \frac {7}{8} \, \sqrt {-x^{2} + 1} x - \frac {4}{3} \, \sqrt {-x^{2} + 1} + \frac {7}{8} \, \arcsin \relax (x) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.03, size = 31, normalized size = 0.49 \[ \frac {7\,\mathrm {asin}\relax (x)}{8}-\sqrt {1-x^2}\,\left (\frac {x^3}{4}+\frac {2\,x^2}{3}+\frac {7\,x}{8}+\frac {4}{3}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.81, size = 60, normalized size = 0.95 \[ - \frac {x^{3} \sqrt {1 - x^{2}}}{4} - \frac {2 x^{2} \sqrt {1 - x^{2}}}{3} - \frac {7 x \sqrt {1 - x^{2}}}{8} - \frac {4 \sqrt {1 - x^{2}}}{3} + \frac {7 \operatorname {asin}{\relax (x )}}{8} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________